public Lift DirectLiftTo(Location target) { Lift lift = new Lift().CallFrom(this); edgesFrom.Add(new Edge(this, target, lift)); lift.name = string.Format("{0} - {1}", this, target); target.edgesFrom.Add(new Edge(target, this)); return lift; }
public Lift DirectLiftTo(Location target) { Lift lift = new Lift().CallFrom(this); edgesFrom.Add(new Edge(this, target, lift)); lift.name = string.Format("{0} - {1}", this, target); target.edgesFrom.Add(new Edge(target, this)); return(lift); }
public Lift LiftTo(Location target, Lift lift = null, bool jumpBack = true) { if (lift == null) { lift = new Lift(); } edgesFrom.Add(new Edge(this, target, lift)); lift.name = string.Format("{0} - {1}", this, target); if (jumpBack) { target.edgesFrom.Add(new Edge(target, this)); } return lift; }
public Lift JumpLiftTo(Location target, Lift lift = null, bool back = true) { if (lift == null) { lift = new Lift(); } edgesFrom.Add(new Edge(this, target, lift)); lift.name = string.Format("jump lift {0} - {1}", this, target); if (back) { target.edgesFrom.Add(new Edge(target, this, lift)); } return(lift); }
public Edge(Location from, Location to, Lift lift = null) { this.from = from; this.lift = lift; this.to = to; }
public Button(Lift lift) { this.target = lift; }