FrameIT
FactAdder Class Reference

Initiates named Fact and adds it to StageStatic.stage.factState More...

Static Public Member Functions

static Fact AddFactIfNotFound (Fact fact, out bool exists, bool samestep, Gadget gadget, string scroll_label)
 Adds fact to StageStatic.stage.factState More...
 
static PointFact AddPointFact (RaycastHit hit, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static PointFact AddPointFact (Vector3 point, Vector3 normal, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static OnLineFact AddOnLineFact (string pid, string lid, bool samestep=false, Gadget gadget=null, string scroll_label=null, bool is_certain=false)
 
static LineFact AddLineFact (string pid1, string pid2, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static RayFact AddRayFact (string pid1, string pid2, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static AngleFact AddAngleFact (string pid1, string pid2, string pid3, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static AngleCircleLineFact AddAngleCircleLineFact (string cid, string lid, float angleValue, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static Fact AddParsedAngleCircleLineFactIfNotFound (AngleCircleLineFact fact, out bool exists, bool samestep, Gadget gadget, string scroll_label)
 
static Fact AddParsedAngleFactIfNotFound (AngleFact fact, out bool exists, bool samestep, Gadget gadget, string scroll_label)
 
static EqualCirclesFact AddEqualCirclesFact (string cid1, string cid2, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 
static UnEqualCirclesFact AddUnEqualCirclesFact (string cid1, string cid2, bool samestep=false, Gadget gadget=null, string scroll_label=null)
 

Detailed Description

Initiates named Fact and adds it to StageStatic.stage.factState

Parameters
samestepset true if Fact creation happens as a subsequent/ consequent step of multiple Fact creations and/or deletions, and you whish that these are affected by a single FactRecorder.undo/ FactRecorder.redo step
Returns
Fact.Id of generated Fact if not yet existent in StageStatic.stage.factState, else Fact.Id of existent equivalent Fact

Member Function Documentation

◆ AddAngleCircleLineFact()

static AngleCircleLineFact FactAdder.AddAngleCircleLineFact ( string  cid,
string  lid,
float  angleValue,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

◆ AddAngleFact()

static AngleFact FactAdder.AddAngleFact ( string  pid1,
string  pid2,
string  pid3,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

Parameters
pid1Fact.Id of first PointFact defining a AngleFact
pid2Fact.Id of second PointFact defining a AngleFact
pid3Fact.Id of third PointFact defining a AngleFact

◆ AddEqualCirclesFact()

static EqualCirclesFact FactAdder.AddEqualCirclesFact ( string  cid1,
string  cid2,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

◆ AddFactIfNotFound()

static Fact FactAdder.AddFactIfNotFound ( Fact  fact,
out bool  exists,
bool  samestep,
Gadget  gadget,
string  scroll_label 
)
static

Adds fact to StageStatic.stage.factState

Parameters
factto be added
existstrue iff fact already has a equivalent counterpart in fact._Facts

◆ AddLineFact()

static LineFact FactAdder.AddLineFact ( string  pid1,
string  pid2,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

Parameters
pid1Fact.Id of first PointFact defining a LineFact
pid2Fact.Id of second PointFact defining a LineFact

◆ AddOnLineFact()

static OnLineFact FactAdder.AddOnLineFact ( string  pid,
string  lid,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null,
bool  is_certain = false 
)
static

Parameters
pidFact.Id of PointFact which lies on lid
lidFact.Id of LineFact on which pid lies

◆ AddParsedAngleCircleLineFactIfNotFound()

static Fact FactAdder.AddParsedAngleCircleLineFactIfNotFound ( AngleCircleLineFact  fact,
out bool  exists,
bool  samestep,
Gadget  gadget,
string  scroll_label 
)
static

◆ AddParsedAngleFactIfNotFound()

static Fact FactAdder.AddParsedAngleFactIfNotFound ( AngleFact  fact,
out bool  exists,
bool  samestep,
Gadget  gadget,
string  scroll_label 
)
static

◆ AddPointFact() [1/2]

static PointFact FactAdder.AddPointFact ( RaycastHit  hit,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

Parameters
hitRaycastHit where and how (orientation) to spawn PointFact

◆ AddPointFact() [2/2]

static PointFact FactAdder.AddPointFact ( Vector3  point,
Vector3  normal,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

Parameters
pointwhere to spawn PointFact
normalhow (orientation) to spawn PointFact

◆ AddRayFact()

static RayFact FactAdder.AddRayFact ( string  pid1,
string  pid2,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

Creates aditionally OnLineFacts when RayFact crosses PointFacts.

Parameters
pid1Fact.Id of first PointFact defining a RayFact
pid2Fact.Id of second PointFact defining a RayFact

◆ AddUnEqualCirclesFact()

static UnEqualCirclesFact FactAdder.AddUnEqualCirclesFact ( string  cid1,
string  cid2,
bool  samestep = false,
Gadget  gadget = null,
string  scroll_label = null 
)
static

The documentation for this class was generated from the following file: